Temporal Logic for Real-time Systems*

points of the classical control theory which is based on the frequency domain description of the plant, so that the H-infinity control theory has been actively studied in the recent years. It is the design method in the frequency domain based on the modern control theory. However, the H-infinity theory at the present time lacks the identification of the frequency domain. The topics treated here are, therefore, very interesting for the users intending to apply the H-infinity control theory, too. The topics also include an application to test civil engineering structures. All chapters contain the sections of 'Outline and Learning Objectives', 'Summary', 'Problems', and 'Notes and References', so that one can read this book very easily even without being acquainted with self-tuning systems. A variety of examples in the book may help the reader's understanding of the self-tuning systems. Now, open the jewelry box with your own hand. About the reviewer Seiichi Shin received degrees of Bachelor, Master, and Doctor of Engineering all from University of Tokyo, in 1978, 1980, and 1987, respectively. From 1980 to 1988, he worked at the University of Tokyo, as an associate researcher in the former, and as an assistant professor in the latter. He became an associate professor of Institute of Information Sciences and Electronics, University of Tsukuba in 1988. In April 1992, he moved to the Department of Mathematical Engineering and Information Physics, University of Tokyo. His main interest is research on control theory and its application. It includes adaptive control, time delay systems, nonlinear systems, neural network, and distributed control systems. He is a member of IEEE, SICE, ISCIE, IEE of Japan, Japan SIAM, and JSME.